(* Content-type: application/mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 7.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       145,          7]
NotebookDataLength[     33291,       1009]
NotebookOptionsPosition[     31926,        964]
NotebookOutlinePosition[     32272,        979]
CellTagsIndexPosition[     32229,        976]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell[TextData[{
 "\:91cf\:5b50\:6570",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", "n"], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1,",
 "\:706b\:8f66\:6570",
 Cell[BoxData[
  FormBox[
   RowBox[{"(", 
    SuperscriptBox["2", "p"]}], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1)/3"
}], "Section",
 CellChangeTimes->{{3.44531438128125*^9, 3.44531440759375*^9}, {
   3.4458143209375*^9, 3.445814333078125*^9}, {3.47132833164181*^9, 
   3.4713283478278103`*^9}, 3.47132842770681*^9, 3.47132898167281*^9, {
   3.47132920642981*^9, 3.47132921287381*^9}, {3.47133035306481*^9, 
   3.47133036250781*^9}, {3.472418077783434*^9, 3.472418102918434*^9}, {
   3.4724194370794344`*^9, 3.4724194644494343`*^9}, {3.4724248685794344`*^9, 
   3.472424920366434*^9}, {3.472438558497434*^9, 3.472438589057434*^9}}],

Cell[TextData[{
 "\:5f62\:5982",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", "n"], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1\:7684\:6570\:8ddfMersenne number\:4e00\:6837\:5f88\:6709\:8da3, \:6211\
\:7ed9\:5b83\:8d77\:4e2a\:540d\:5b57\:53eb\:91cf\:5b50\:6570(Quantum number)\
\:ff0c\:56e0\:4e3a",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", "n"], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1\:7684\:4e8c\:8fdb\:5236\:5f62\:5f0f\:662f\:4e24\:4e2a1\:4e2d\:95f4\:5939\
n-1\:4e2a0\:ff0c\:5c31\:50cf\:4e24\:4e2a\:91cf\:5b50\:901a\:8fc7\:4e00\:4e320\
\:76f8\:4e92\:4f5c\:7528, \:8bb0\:505aQn\:3002\:9996\:5148\:ff0c\:5f53n\:662f\
\:6b63\:5947\:6570\:65f6\:ff0c3|",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", "n"], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1\:3002\:5982\:679c\:8d28\:6570p>3, \
\:90a3\:4e483\[LeftDoubleBracketingBar]",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", "p"], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1, \:5373",
 Cell[BoxData[
  FormBox[
   RowBox[{"\:6709", "(", 
    SuperscriptBox["2", "p"]}], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1)/3\[Congruent]1,2 mod 3. \:5f53p\:662f\:5947\:8d28\:6570\:65f6\:ff0c",
 Cell[BoxData[
  FormBox[
   RowBox[{"(", 
    SuperscriptBox["2", "p"]}], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1)/3\:79f0\:4f5c\:706b\:8f66\:6570\:ff08Train number\:ff09, \
\:8bb0\:505aTrain(p)\:3002\:706b\:8f66\:6570\:7684\:4e8c\:8fdb\:5236\:5f62\
\:5f0f\:5934\:5c3e\:90fd\:662f1\:ff0c\:4e2d\:95f4\:ff08p-3\:ff09/2\:4e2a01\
\:8f66\:53a2\:3002\:5982\:679c\:5b83\:8fd8\:662f\:8d28\:6570\:ff0c\:90a3\:4e48\
\:79f0\:505a\:706b\:8f66\:8d28\:6570",
 Cell[BoxData[
  FormBox[
   SubscriptBox["T", "p"], TraditionalForm]],
  FormatType->"TraditionalForm"],
 "."
}], "Text",
 CellChangeTimes->{
  3.472428505589434*^9, {3.472428535635434*^9, 3.472428571085434*^9}, {
   3.4724286352444344`*^9, 3.4724287348274345`*^9}, {3.472428768523434*^9, 
   3.4724288636404343`*^9}, {3.472428914037434*^9, 3.4724289360944343`*^9}, {
   3.4724295364214344`*^9, 3.472429567937434*^9}, {3.472429634352434*^9, 
   3.472429705977434*^9}, {3.472429757814434*^9, 3.4724298281664343`*^9}, {
   3.4724298625114346`*^9, 3.472429865470434*^9}, {3.4724300946334343`*^9, 
   3.472430117217434*^9}, {3.4724302022714343`*^9, 3.4724302327684345`*^9}, {
   3.472430332665434*^9, 3.472430426458434*^9}, 3.4724306993934345`*^9, {
   3.4724308542064342`*^9, 3.472430909698434*^9}, {3.472430939788434*^9, 
   3.472431006378434*^9}, {3.4724310907564344`*^9, 3.4724312374614344`*^9}, 
   3.472431394552434*^9, {3.4724314356834345`*^9, 3.4724314572514343`*^9}, {
   3.472431610504434*^9, 3.4724317741404343`*^9}, {3.4724318137254343`*^9, 
   3.472431881570434*^9}, {3.472431918757434*^9, 3.472431969292434*^9}, {
   3.472432039227434*^9, 3.4724320393154345`*^9}, {3.472432530629434*^9, 
   3.472432532005434*^9}, 3.472433785939434*^9, 3.472433816604434*^9, 
   3.4724338816934342`*^9, {3.4724339285984344`*^9, 3.4724339548554344`*^9}, 
   3.4724340239624343`*^9, {3.472434104630434*^9, 3.472434141253434*^9}, {
   3.472434186898434*^9, 3.4724342536174345`*^9}, {3.472434288262434*^9, 
   3.4724342923644342`*^9}, {3.472435281882434*^9, 3.4724352860844345`*^9}, {
   3.4724353243434343`*^9, 3.472435353427434*^9}, 3.472435397194434*^9, {
   3.472435649181434*^9, 3.4724356757384343`*^9}, {3.472439852629434*^9, 
   3.4724398660344343`*^9}}],

Cell[TextData[{
 Cell[BoxData[
  FormBox[
   RowBox[{
    SuperscriptBox["a", "n"], "-", 
    SuperscriptBox["b", "n"]}], TraditionalForm]], "Equation",
  CellChangeTimes->{{3.445295165234375*^9, 3.445295238640625*^9}, {
    3.445295275234375*^9, 3.445295321609375*^9}, 3.445295356109375*^9}],
 " =(a-b)(",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["a", 
    RowBox[{"n", "-", "1"}]], TraditionalForm]],
  FormatType->"TraditionalForm"],
 "+",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["a", 
    RowBox[{"n", "-", "2"}]], TraditionalForm]],
  FormatType->"TraditionalForm"],
 "b+...+a",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["b", 
    RowBox[{"n", "-", "2"}]], TraditionalForm]],
  FormatType->"TraditionalForm"],
 "+",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["b", 
    RowBox[{"n", "-", "1"}]], TraditionalForm]],
  FormatType->"TraditionalForm"],
 ")"
}], "Text",
 CellChangeTimes->{{3.47132895447581*^9, 3.47132906457481*^9}, {
   3.472419474891434*^9, 3.472419573102434*^9}, 3.4724196213604345`*^9, 
   3.4724196958624344`*^9, {3.472420026621434*^9, 3.4724200317584343`*^9}, {
   3.4724205242944345`*^9, 3.4724205578834343`*^9}, {3.472422768354434*^9, 
   3.472422768382434*^9}, {3.472423300246434*^9, 3.4724233316244345`*^9}, {
   3.472426082694434*^9, 3.4724260831054344`*^9}, {3.472427334172434*^9, 
   3.472427334187434*^9}, {3.472428006996434*^9, 3.472428091096434*^9}, {
   3.472428255912434*^9, 3.472428386092434*^9}, {3.4724284240914345`*^9, 
   3.4724284757124343`*^9}, {3.4724320666694345`*^9, 3.4724320666764345`*^9}}],

Cell[TextData[{
 "\:4ee4a=",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", "q"], TraditionalForm]], "None"],
 ", b=-1, \:53ef\:4ee5\:5f97\:5230, \:5982\:679c\:5947\:6570n=pq, \
\:90a3\:4e48",
 Cell[BoxData[
  FormBox[
   RowBox[{"(", 
    SuperscriptBox["2", "q"]}], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1) |",
 Cell[BoxData[
  FormBox[
   RowBox[{" ", 
    RowBox[{"(", 
     SuperscriptBox["2", "pq"]}]}], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1). \:6240\:4ee5\:706b\:8f66\:8d28\:6570",
 Cell[BoxData[
  FormBox[
   SubscriptBox["T", "p"], TraditionalForm]]],
 " =",
 Cell[BoxData[
  FormBox[
   RowBox[{"(", 
    SuperscriptBox["2", "p"]}], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1)/3\:4e2d\:7684\:53c2\:6570p\:4e00\:5b9a\:662f\:5947\:8d28\:6570."
}], "Text",
 CellChangeTimes->{{3.472432072125434*^9, 3.4724320851274343`*^9}, 
   3.4724323662614346`*^9, {3.4724324015154343`*^9, 3.472432421854434*^9}, {
   3.4724324617394342`*^9, 3.472432464991434*^9}, {3.472432499397434*^9, 
   3.4724325102384343`*^9}, {3.472432556950434*^9, 3.4724326532094345`*^9}, {
   3.4724333219524345`*^9, 3.4724333279164343`*^9}, {3.4724343284944344`*^9, 
   3.4724343420604343`*^9}, {3.4724350264424343`*^9, 3.472435062759434*^9}, {
   3.472435106901434*^9, 3.472435130408434*^9}, 3.4724352299994345`*^9, {
   3.472435606047434*^9, 3.4724356105814342`*^9}, {3.4724356910514345`*^9, 
   3.4724357530684342`*^9}, {3.4724393197844343`*^9, 3.472439321446434*^9}}],

Cell["", "Text",
 CellChangeTimes->{{3.472433330175434*^9, 3.472433479670434*^9}, 
   3.472435279455434*^9}],

Cell[TextData[{
 "\:6027\:8d281: p>3, \:5982\:679cq|",
 Cell[BoxData[
  FormBox[
   RowBox[{"(", 
    SuperscriptBox["2", "p"]}], TraditionalForm]], "None",
  FormatType->"TraditionalForm"],
 "+1)/3, \:90a3\:4e48q=2kp+1."
}], "Text",
 CellChangeTimes->{{3.472432091031434*^9, 3.4724321130134344`*^9}, {
   3.4724321847824345`*^9, 3.472432291970434*^9}, 3.472432720793434*^9, {
   3.4724327614364343`*^9, 3.472432855839434*^9}, {3.472432930595434*^9, 
   3.472432946167434*^9}, {3.4724337158364344`*^9, 3.4724337223274345`*^9}, {
   3.4724362503434343`*^9, 3.472436276790434*^9}, {3.472436442681434*^9, 
   3.4724364430394344`*^9}}],

Cell[TextData[{
 "\:8bc1: \:5f53q\:662f\:8d28\:56e0\:5b50\:65f6, \:8d39\:9a6c\:5c0f\:5b9a\
\:7406",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", 
    RowBox[{"q", "-", "1"}]], TraditionalForm]],
  FormatType->"TraditionalForm"],
 "\[Congruent]1 mod q, \:7531\:5047\:8bbe\:53ef\:77e5\:6709"
}], "Text",
 CellChangeTimes->{{3.472432859540434*^9, 3.4724328615214343`*^9}, {
   3.4724328973014345`*^9, 3.4724329035684342`*^9}, {3.472432980057434*^9, 
   3.472432987463434*^9}, {3.472433509972434*^9, 3.4724335171054344`*^9}, {
   3.472433548274434*^9, 3.472433598457434*^9}, {3.4724359802584343`*^9, 
   3.4724359802704344`*^9}, 3.472436042427434*^9, {3.472436088899434*^9, 
   3.4724362276434345`*^9}, {3.472436450328434*^9, 3.4724364930774345`*^9}}],

Cell[TextData[{
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", "p"], TraditionalForm]],
  FormatType->"TraditionalForm"],
 "\[Congruent]-1 mod q"
}], "Text",
 CellChangeTimes->{{3.472432859540434*^9, 3.4724328615214343`*^9}, {
   3.4724328973014345`*^9, 3.4724329035684342`*^9}, {3.472432980057434*^9, 
   3.472432987463434*^9}, {3.472433509972434*^9, 3.4724335171054344`*^9}, {
   3.472433548274434*^9, 3.472433598457434*^9}, {3.4724359802584343`*^9, 
   3.4724359802704344`*^9}, 3.472436042427434*^9, {3.472436088899434*^9, 
   3.4724362276434345`*^9}, {3.472436450328434*^9, 3.4724364986644344`*^9}}],

Cell[TextData[{
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", 
    RowBox[{"2", "p"}]], TraditionalForm]],
  FormatType->"TraditionalForm"],
 "\[Congruent]1 mod q"
}], "Text",
 CellChangeTimes->{{3.472436501203434*^9, 3.472436525901434*^9}}],

Cell["\:6240\:4ee5 q-1= 2p k", "Text",
 CellChangeTimes->{{3.472436557070434*^9, 3.472436590162434*^9}, {
  3.4724366246244345`*^9, 3.4724366260614343`*^9}, {3.4724368235014343`*^9, 
  3.4724368515794344`*^9}}],

Cell["\<\
\:53e6\:5916, \:51e0\:4e2a\:5f62\:59822kp+1\:7684\:6570\:7684\:4e58\:79ef\
\:4e5f\:662f2kp+1\:7684\:5f62\:5f0f. \[Square]\
\>", "Text",
 CellChangeTimes->{{3.4724366319164343`*^9, 3.4724367965844345`*^9}, {
  3.4724368988964343`*^9, 3.472436906411434*^9}}],

Cell["\:706b\:8f66\:8d28\:6570Train(p)\:7684\:56e0\:5b50q\:5f62\:59822kp+1. \
", "Text",
 CellChangeTimes->{{3.4724369074434342`*^9, 3.4724369118044343`*^9}}],

Cell["", "Text",
 CellChangeTimes->{3.472432764661434*^9, 3.4724369042854342`*^9}],

Cell[TextData[{
 "\:6027\:8d282:\:ff1a\:5bf9\:4e8e\:8d28\:6570p=4n+1\:ff0c\:5982\:679cq=8n+3\
\:4e5f\:662f\:8d28\:6570\:ff0c\:90a3\:4e48 q|(",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", "p"], TraditionalForm]],
  FormatType->"TraditionalForm"],
 " + 1)/3"
}], "Text",
 CellChangeTimes->{{3.47132895447581*^9, 3.47132906457481*^9}, {
   3.472419474891434*^9, 3.472419573102434*^9}, 3.4724196213604345`*^9, 
   3.4724196958624344`*^9, {3.472420026621434*^9, 3.4724200317584343`*^9}, {
   3.4724205242944345`*^9, 3.4724205578834343`*^9}, {3.472422768354434*^9, 
   3.472422768382434*^9}, {3.472423300246434*^9, 3.4724233316244345`*^9}, {
   3.472426082694434*^9, 3.4724260831054344`*^9}, 3.472427334172434*^9, {
   3.472436933665434*^9, 3.4724369356504345`*^9}, {3.472436991109434*^9, 
   3.472437009445434*^9}, {3.472437080854434*^9, 3.472437096793434*^9}, {
   3.4724378363934345`*^9, 3.472437836417434*^9}}],

Cell[TextData[{
 "\:8bc1: ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", 
    RowBox[{
     RowBox[{"4", "n"}], "+", "1"}]], TraditionalForm]],
  FormatType->"TraditionalForm"],
 "= ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"2", "^", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{"q", " ", "-", " ", "1"}], ")"}], "/", "2"}], ")"}]}], 
    "\[Congruent]"}], TraditionalForm]],
  FormatType->"TraditionalForm"],
 Cell[BoxData[
  FormBox[
   RowBox[{"(", 
    FractionBox["2", "q"], ")"}], TraditionalForm]]],
 "=",
 Cell[BoxData[
  FormBox[
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"-", "1"}], ")"}], 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       SuperscriptBox["q", "2"], "-", "1"}], ")"}], "/", "8"}]], 
   TraditionalForm]],
  FormatType->"TraditionalForm"],
 "\[Congruent]-1 mod q"
}], "Text",
 CellChangeTimes->{{3.472438308628434*^9, 3.472438313312434*^9}}],

Cell[TextData[{
 "\:6240\:4ee5q| (",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", "p"], TraditionalForm]],
  FormatType->"TraditionalForm"],
 " + 1) .",
 "\[Square]"
}], "Text",
 CellChangeTimes->{{3.472438317161434*^9, 3.472438323365434*^9}, 
   3.472438361731434*^9, {3.472438411767434*^9, 3.472438415187434*^9}}],

Cell["\:95ee\:9898: \:8fd9\:4e2a\:9006\:547d\:9898\:6210\:7acb\:4e48?", "Text",
 CellChangeTimes->{{3.472437164774434*^9, 3.4724371890614343`*^9}, 
   3.472437781359434*^9}],

Cell["\:600e\:6837\:5bfb\:627e\:5f88\:5927\:7684\:706b\:8f66\:8d28\:6570?", \
"Text",
 CellChangeTimes->{{3.4724371915744343`*^9, 3.472437191576434*^9}, {
  3.4724387099954343`*^9, 3.472438727563434*^9}}],

Cell["", "Text"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Table", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"p", ",", 
      RowBox[{"BaseForm", "[", 
       RowBox[{
        RowBox[{"x", "=", 
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{"2", "^", "p"}], "+", "1"}], ")"}], "/", "3"}]}], ",", 
        "2"}], "]"}]}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"p", ",", 
      RowBox[{"Prime", "[", 
       RowBox[{"Range", "[", 
        RowBox[{"2", ",", "30"}], "]"}], "]"}]}], "}"}]}], "]"}], 
  "\[IndentingNewLine]"}]], "Input",
 CellChangeTimes->{{3.4724179852184343`*^9, 3.4724180360864344`*^9}, {
   3.4724181817494345`*^9, 3.4724182989524345`*^9}, {3.4724183902984343`*^9, 
   3.472418407465434*^9}, {3.4724193006764345`*^9, 3.4724193056144342`*^9}, {
   3.4724193389164343`*^9, 3.4724193461054344`*^9}, {3.4724271467184343`*^9, 
   3.4724272679544344`*^9}, 3.4724291325014343`*^9, {3.472429189575434*^9, 
   3.472429195220434*^9}, 3.472429277106434*^9, {3.472431475017434*^9, 
   3.4724314753434343`*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"3", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"11\"\>", "\<\"2\"\>"],
       3,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"5", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"1011\"\>", "\<\"2\"\>"],
       11,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"7", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"101011\"\>", "\<\"2\"\>"],
       43,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"11", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"1010101011\"\>", "\<\"2\"\>"],
       683,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"13", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"101010101011\"\>", "\<\"2\"\>"],
       2731,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"17", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"1010101010101011\"\>", "\<\"2\"\>"],
       43691,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"19", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"101010101010101011\"\>", "\<\"2\"\>"],
       174763,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"23", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"1010101010101010101011\"\>", "\<\"2\"\>"],
       2796203,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"29", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"1010101010101010101010101011\"\>", "\<\"2\"\>"],
       178956971,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"31", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"101010101010101010101010101011\"\>", "\<\"2\"\>"],
       715827883,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"37", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"101010101010101010101010101010101011\"\>", \
"\<\"2\"\>"],
       45812984491,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"41", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"1010101010101010101010101010101010101011\"\>", \
"\<\"2\"\>"],
       733007751851,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"43", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"101010101010101010101010101010101010101011\"\>", "\<\
\"2\"\>"],
       2932031007403,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"47", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"1010101010101010101010101010101010101010101011\"\>", \
"\<\"2\"\>"],
       46912496118443,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"53", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"1010101010101010101010101010101010101010101010101011\
\"\>", "\<\"2\"\>"],
       3002399751580331,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"59", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
1010101010101010101010101010101010101010101010101010101011\"\>", "\<\"2\"\>"],
       192153584101141163,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"61", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101011\"\>", \
"\<\"2\"\>"],
       768614336404564651,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"67", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101011\"\>", \
"\<\"2\"\>"],
       49191317529892137643,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"71", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
1010101010101010101010101010101010101010101010101010101010101010101011\"\>", \
"\<\"2\"\>"],
       787061080478274202283,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"73", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101010101011\"\>",\
 "\<\"2\"\>"],
       3148244321913096809131,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"79", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101010101010101011\
\"\>", "\<\"2\"\>"],
       201487636602438195784363,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"83", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101010101010101010\
1011\"\>", "\<\"2\"\>"],
       3223802185639011132549803,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"89", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101010101010101010\
1010101011\"\>", "\<\"2\"\>"],
       206323339880896712483187371,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"97", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101010101010101010\
101010101010101011\"\>", "\<\"2\"\>"],
       52818775009509558395695966891,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"101", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101010101010101010\
1010101010101010101011\"\>", "\<\"2\"\>"],
       845100400152152934331135470251,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"103", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101010101010101010\
101010101010101010101011\"\>", "\<\"2\"\>"],
       3380401600608611737324541881003,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"107", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101010101010101010\
1010101010101010101010101011\"\>", "\<\"2\"\>"],
       54086425609737787797192670096043,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"109", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101010101010101010\
101010101010101010101010101011\"\>", "\<\"2\"\>"],
       216345702438951151188770680384171,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"113", ",", 
     TagBox[
      InterpretationBox[
       SubscriptBox["\<\"\
101010101010101010101010101010101010101010101010101010101010101010101010101010\
1010101010101010101010101010101011\"\>", "\<\"2\"\>"],
       3461531239023218419020330886146731,
       Editable->False],
      BaseForm[#, 2]& ]}], "}"}]}], "}"}]], "Output",
 CellChangeTimes->{3.472429201288434*^9, 3.472429278944434*^9, 
  3.4724314766454344`*^9}]
}, Open  ]],

Cell[BoxData[""], "Input",
 CellChangeTimes->{{3.472422769606434*^9, 3.4724227736244345`*^9}, {
  3.472422861031434*^9, 3.472422909052434*^9}, {3.4724234518574343`*^9, 
  3.4724234759624343`*^9}, {3.472426107306434*^9, 3.472426111163434*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"Table", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"p", ",", 
      RowBox[{"Mod", "[", 
       RowBox[{
        RowBox[{"x", "=", 
         RowBox[{
          RowBox[{"(", 
           RowBox[{
            RowBox[{"2", "^", "p"}], "+", "1"}], ")"}], "/", "3"}]}], ",", 
        "3"}], "]"}]}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"p", ",", 
      RowBox[{"Prime", "[", 
       RowBox[{"Range", "[", 
        RowBox[{"2", ",", "1000"}], "]"}], "]"}]}], "}"}]}], "]"}], 
  "\[IndentingNewLine]"}]], "Input",
 CellChangeTimes->{{3.4724179852184343`*^9, 3.4724180360864344`*^9}, {
  3.4724181817494345`*^9, 3.4724182989524345`*^9}, {3.4724183902984343`*^9, 
  3.472418407465434*^9}, {3.4724193006764345`*^9, 3.4724193056144342`*^9}, {
  3.4724193389164343`*^9, 3.4724193461054344`*^9}, {3.4724271467184343`*^9, 
  3.4724272679544344`*^9}, {3.4724331129854345`*^9, 3.4724331377194343`*^9}, {
  3.4724332567394342`*^9, 3.4724332572754345`*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Table", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"p", ",", 
      RowBox[{"FactorInteger", "[", 
       RowBox[{"x", "=", 
        RowBox[{
         RowBox[{"2", "^", "p"}], "-", "1"}]}], "]"}]}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"p", ",", 
      RowBox[{"Prime", "[", 
       RowBox[{"Range", "[", 
        RowBox[{"2", ",", "30"}], "]"}], "]"}]}], "}"}]}], "]"}], 
  "\[IndentingNewLine]"}]], "Input",
 CellChangeTimes->{{3.4724179852184343`*^9, 3.4724180360864344`*^9}, {
   3.4724181817494345`*^9, 3.4724182989524345`*^9}, {3.4724183902984343`*^9, 
   3.472418407465434*^9}, 3.4724185207304344`*^9, {3.4724191594284344`*^9, 
   3.472419164880434*^9}, 3.472419772313434*^9}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"3", ",", 
     RowBox[{"{", 
      RowBox[{"{", 
       RowBox[{"7", ",", "1"}], "}"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"5", ",", 
     RowBox[{"{", 
      RowBox[{"{", 
       RowBox[{"31", ",", "1"}], "}"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"7", ",", 
     RowBox[{"{", 
      RowBox[{"{", 
       RowBox[{"127", ",", "1"}], "}"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"11", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"23", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"89", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"13", ",", 
     RowBox[{"{", 
      RowBox[{"{", 
       RowBox[{"8191", ",", "1"}], "}"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"17", ",", 
     RowBox[{"{", 
      RowBox[{"{", 
       RowBox[{"131071", ",", "1"}], "}"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"19", ",", 
     RowBox[{"{", 
      RowBox[{"{", 
       RowBox[{"524287", ",", "1"}], "}"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"23", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"47", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"178481", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"29", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"233", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"1103", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"2089", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"31", ",", 
     RowBox[{"{", 
      RowBox[{"{", 
       RowBox[{"2147483647", ",", "1"}], "}"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"37", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"223", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"616318177", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"41", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"13367", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"164511353", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"43", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"431", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"9719", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"2099863", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"47", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"2351", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"4513", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"13264529", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"53", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"6361", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"69431", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"20394401", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"59", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"179951", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"3203431780337", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"61", ",", 
     RowBox[{"{", 
      RowBox[{"{", 
       RowBox[{"2305843009213693951", ",", "1"}], "}"}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"67", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"193707721", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"761838257287", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"71", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"228479", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"48544121", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"212885833", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"73", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"439", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"2298041", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"9361973132609", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"79", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"2687", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"202029703", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"1113491139767", ",", "1"}], "}"}]}], "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"83", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"167", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"57912614113275649087721", ",", "1"}], "}"}]}], "}"}]}], 
    "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"89", ",", 
     RowBox[{"{", 
      RowBox[{"{", 
       RowBox[{"618970019642690137449562111", ",", "1"}], "}"}], "}"}]}], 
    "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"97", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"11447", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"13842607235828485645766393", ",", "1"}], "}"}]}], "}"}]}], 
    "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"101", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"7432339208719", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"341117531003194129", ",", "1"}], "}"}]}], "}"}]}], "}"}], 
   ",", 
   RowBox[{"{", 
    RowBox[{"103", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"2550183799", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"3976656429941438590393", ",", "1"}], "}"}]}], "}"}]}], "}"}],
    ",", 
   RowBox[{"{", 
    RowBox[{"107", ",", 
     RowBox[{"{", 
      RowBox[{"{", 
       RowBox[{"162259276829213363391578010288127", ",", "1"}], "}"}], 
      "}"}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"109", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"745988807", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"870035986098720987332873", ",", "1"}], "}"}]}], "}"}]}], 
    "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"113", ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"3391", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"23279", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"65993", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"1868569", ",", "1"}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{"1066818132868207", ",", "1"}], "}"}]}], "}"}]}], "}"}]}], 
  "}"}]], "Output",
 CellChangeTimes->{3.4724185218574343`*^9, 3.4724191660724344`*^9}]
}, Open  ]],

Cell["", "Text",
 CellChangeTimes->{{3.472418490734434*^9, 3.4724184994284344`*^9}}],

Cell["", "Text",
 CellChangeTimes->{{3.4724197532914343`*^9, 3.472419766965434*^9}}]
}, Open  ]]
},
WindowSize->{607, 710},
WindowMargins->{{358, Automatic}, {Automatic, -7}},
FrontEndVersion->"7.0 for Microsoft Windows (32-bit) (November 10, 2008)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[567, 22, 844, 21, 74, "Section"],
Cell[1414, 45, 3488, 72, 104, "Text"],
Cell[4905, 119, 1547, 42, 29, "Text"],
Cell[6455, 163, 1523, 39, 50, "Text"],
Cell[7981, 204, 108, 2, 29, "Text"],
Cell[8092, 208, 631, 14, 29, "Text"],
Cell[8726, 224, 751, 15, 29, "Text"],
Cell[9480, 241, 605, 12, 29, "Text"],
Cell[10088, 255, 244, 8, 29, "Text"],
Cell[10335, 265, 210, 3, 29, "Text"],
Cell[10548, 270, 266, 5, 29, "Text"],
Cell[10817, 277, 158, 2, 29, "Text"],
Cell[10978, 281, 82, 1, 29, "Text"],
Cell[11063, 284, 913, 17, 29, "Text"],
Cell[11979, 303, 922, 37, 45, "Text"],
Cell[12904, 342, 319, 10, 29, "Text"],
Cell[13226, 354, 173, 2, 29, "Text"],
Cell[13402, 358, 204, 3, 29, "Text"],
Cell[13609, 363, 16, 0, 29, "Text"],
Cell[CellGroupData[{
Cell[13650, 367, 1039, 26, 52, "Input"],
Cell[14692, 395, 8021, 268, 715, "Output"]
}, Open  ]],
Cell[22728, 666, 242, 3, 31, "Input"],
Cell[22973, 671, 987, 25, 52, "Input"],
Cell[CellGroupData[{
Cell[23985, 700, 731, 19, 52, "Input"],
Cell[24719, 721, 7005, 233, 449, "Output"]
}, Open  ]],
Cell[31739, 957, 84, 1, 29, "Text"],
Cell[31826, 960, 84, 1, 29, "Text"]
}, Open  ]]
}
]
*)

(* End of internal cache information *)
